Ist die Mitte des Inkreises des Mittendreieck im Ursprung,
dann ergibt die Eckensumme A+B+C = M_i

x-Wert:- 1,5+ 2,5 -1,5  = - 0,5
y-Wert:   -1-1+2  =  0

M_i = Intersect(xAxis, yAxis)
B_1 = Point(xAxis)
C_1 = Point(yAxis)
d1, c, a, b = Polygon(M_i, B_1, C_1)
D = Midpoint(a)
F = Midpoint(c)
E = (0, 1.5)
d2, f, d, e = Polygon(D, E, F)
g, h = AngularBisector(b, a)
i, j = AngularBisector(a, c)
M_1 = Intersect(h, j)
X_a = Intersect(i, g)
X_b = Intersect(j, g)
X_c = Intersect(h, i)
Inkreis_1 = Circle(M_1, 1)
S_1 = Centroid(d1)
S = Centroid(d2)
Spiekerkreis' = Dilate(Inkreis_1, -0.5, S_1)
Spieker_1 = Dilate(M_1, -0.5, S_1)
abstandSpiekerA = Distance(Spieker_1, M_i)
Spiekerin__Ursp = Vector(Spieker_1, M_i)
A = Translate(M_i, Spiekerin__Ursp)
u = Vector(M_i, A)
C = Translate(C_1, Spiekerin__Ursp)
v = Vector(C_1, C)
B = Translate(B_1, Spiekerin__Ursp)
w = Vector(B_1, B)
umfangd2 = Perimeter(d2)
Punktd2 = PointIn(d2)
D' = Translate(D, Spiekerin__Ursp)
E' = Translate(E, Spiekerin__Ursp)
F' = Translate(F, Spiekerin__Ursp)
d2', f', d', e' = Polygon(D', E', F')
Spiekerkreis = Translate(Spiekerkreis', Spiekerin__Ursp)
A'_1 = Translate(M_i, Spiekerin__Ursp)
B'_1 = Translate(B_1, Spiekerin__Ursp)
C'_1 = Translate(C_1, Spiekerin__Ursp)
d1', c'_1, a'_1, b'_1 = Polygon(A'_1, B'_1, C'_1)
Inkreis = Translate(Inkreis_1, Spiekerin__Ursp)
Inkreiszentrum = Translate(M_1, Spiekerin__Ursp)
Spieker = Translate(Spieker_1, Spiekerin__Ursp)
H = Translate(S_1, Spiekerin__Ursp)
I = Translate(X_c, Spiekerin__Ursp)
J = Translate(X_a, Spiekerin__Ursp)
K = Translate(X_b, Spiekerin__Ursp)
V_A = Vector(M_i, A'_1)
V_B = Vector(M_i, B)
V_C = Vector(M_i, C)
Text1 = LaTeX(V_A, true, true)
Text2 = LaTeX(V_B, true, true)
Text3 = LaTeX(V_C, true, true)
A'' = Translate(A, V_B)
k = Vector(A, A'')
Eckensumme = Translate(A'', V_C)
l = Vector(A'', Eckensumme)
Text4 = LaTeX(Spieker, true, true)
abstandAC' = Distance(M_i, C)
TextAC': Name[M_i] + (Name[C]) + " = " + abstandAC'
abstandAB' = Distance(M_i, B)
TextAB': Name[M_i] + (Name[B]) + " = " + abstandAB'
abstandAA' = Distance(M_i, A)
TextAA': Name[M_i] + (Name[A]) + " = " + abstandAA'